Task-based asynchronous programming